Top $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\cap$$x$:!Void().!Void()